DPLL - meaning and definition. What is DPLL
DICLIB.COM
AI-based language tools
Enter a word or phrase in any language 👆
Language:     

Translation and analysis of words by artificial intelligence

On this page you can get a detailed analysis of a word or phrase, produced by the best artificial intelligence technology to date:

  • how the word is used
  • frequency of use
  • it is used more often in oral or written speech
  • word translation options
  • usage examples (several phrases with translation)
  • etymology

What (who) is DPLL - definition


DPLL         
DPLL (алгоритм Дэвиса — Патнема — Логемана — Лавленда) — полный алгоритм поиска с возвратом для решения задачи CNF-SAT — определения выполнимости булевых формул, записанных в конъюнктивной нормальной форме.
What is DPLL - meaning and definition